MP＊中的等值完全析取范式

讨论中介逻辑命题演算扩张系统ＭＰ＊中在等值意义下的完全析取范式的存在性和唯一性。引入ＭＰ＊中等值全板范式的概念，并用分步构造法证明这种范式在等值意义下是存在的，且是唯一的。     

适用于负过载启动的新型增压输送系统

介绍了一种适用于飞行器在负过载情况下启动的新型增压输送系统,该系统采用气液隔离方式,比国外可重复使用飞行器的增压输送系统结构质量轻、体积小,有利于提高飞行器的性能。分析了该系统的特点,给出了系统的主要性能参数。新型增压输送系统经过冷流试验和热试车的考核,结果均满足设计和使用要求。     

交会对接载人飞船返回舱结构优化设计

为减轻飞船返回舱结构重量、使结构形式更为合理,对返回舱主要部件进行了结构优化设计。在不降低结构可靠性、满足与其他设备接口匹配性等4项优化原则的基础上,合理选取优化对象,确定了优化目的和约束条件,并以前端框、滚动发动机舱和贮箱隔舱3个主要部件为例分别进行阐述。通过优化设计,3个主要部件的结构重量减轻了0.25～10kg,...     

TRANSIENT RESPONSE INVESTIGATION OF GIMBALLED TILTROTORS DURING ENGAGE AND DISENGAGE OPERATIONS

Ｕｎｉｑｕｅａｎｄｏｆｔｅｎｈａｚａｒｄｏｕｓｃｏｎｄｉｔｉｏｎｓａｒｅｅｎｃｏｕｎｔｅｒｅｄｗｈｅｎｒｏｔｏｒｃｒａｆｔａｒｅｏｐｅｒａｔｅｄｆｒｏｍｓｈｉｐｂａｓｅｄｐｌａｔｆｏｒｍｓ．Ｏｎｅｏｆｔｈｅｍｏｒｅｔｒｏｕｂｌｅｓｏｍｅｒｏｔｏｒｃｒ...     

Data fusion algorithm based on state and attribute parameter

Ａｑｕｅｓｔｉｏｎｔｈａｔｈａｓｂｅｅｎｃｏｎｃｅｒｎｅｄｆｏｒｍａｎｙｙｅａｒｓｉｎｔｈｅｍｕｌｔｉｔａｒｇｅｔｔｒａｃｋｉｎｇｆｉｅｌｄｉｓｈｏｗｔｏｒｅｄｕｃｅｔｈｅｃｏｍｐｕｔａｔｉｏｎａｌｃｏｍｐｌｅｘｉｔｙｏｆｄａｔａａｓｓｏｃｉａｔｉｏ...     

电磁式舵机的驱动设计试验与仿真

针对一种电磁式舵机,基于虚拟仪器技术设计了相应的测试系统,对舵机的动态性能进行了测试分析。考虑到铁磁阻的非线性和漏磁通的分散性,本文采用磁路微分法建立了舵机电磁铁的数学模型,对其动态特性进行仿真分析。结果表明:舵机的性能满足系统设计要求。试验结果与仿真结果基本一致,仿真计算可以用于舵机性能的优化与分析。     

Dynamics and de-spin control of massive target by single tethered space tug

This paper investigates the dynamics and de-spin control of a massive target by a single tethered space tug in the post-capture phase. The dynamic model of the tethered system is derived and simplified to a dimensionless form. Further, a decoupled PD controller is proposed, and the local stability of the controller is analyzed by linearization technique. Parametric studies of the dynamics and de-spin control of a massive target are conducted to characterize the dynamic process of de-spin with the proposed control law. It is shown that the massive target can be de-span by a single and small space tug with limited thrust within finite time. The thrust tangent with the tether de-spins the target while the thrust normal to the tether prevents the tether from winding up the target. The tether length has a positive contribution to the de-spin of a target. The longer tether leads to a faster de-spin process.     

激光伪随机编码的最小周期识别算法改进研究

目前激光制导武器使用的伪随机编码,基本都是利用移位寄存器加上特定的反馈函数来实现的,只要识别出其最小周期就可以利用准同步干扰方式进行干扰。对有限位伪随机码的特点进行研究和分析,介绍了一种新的计算小数之间的整数比的方法,并提出了对现有最小周期识别算法的改进算法。进行了仿真验证,结果表明:改进后的算法优于现有其他方法。     

离子液体电喷推力器的关键技术及展望

首先介绍离子液体电喷推力器的工作原理和分类，通过与其他相同推力量级的电推力器对比进一步分析了其特点，然后总结了离子液体电喷推力器的国内外研究现状，在此基础上重点梳理了微尺度下带电粒子的产生与加速、微细制造与精密装配、推进剂贮存和供给、高升压比微功率电源处理单元以及比冲和推力测试等离子液体电喷推力器研制过程中涉及的关键技术，最后展望了小型化、模块化与推力密度提升的发展趋势并提出离子液体电喷推力器的发展构想。     

基于特征模型的火箭发动机伺服控制系统设计

以新型大推力火箭发动机为研究对象,提出了基于特征模型的伺服系统控制器设计方法。首先,介绍了特征建模理论并讨论了特征模型参数范围;其次,采用人工蜂群算法实时估计火箭发动机伺服系统特征模型参数,使其满足特征模型输出与实际系统输出特性等价条件;最后,使用黄金分割自适应控制律保证系统在参数估计过程中的闭环稳定性,同时引入前馈跟踪控制律,逻辑积分控制律和逻辑微分控制律使伺服控制系统快速、精确跟踪线位移指令并改善动态性能。仿真结果表明,设计的火箭发动机伺服控制系统指令跟踪精度高,动态特性良好,鲁棒性强。